{{{ Reopen 0.6
Source: Source code is in git with the tag reopen-0.6
Announcement: Compatibilty release for newer versions of jEdit.
Requires Java 1.6
Requires jEdit 05.03.99.00
Short Description: The Reopen plugin provides a "reopen" action for reopening
recently closed buffers, much like web-browsers reopen tabs.
Long Description: <html>
<p>The Reopen plugin provides a "reopen" action
for reopening recently closed buffers, much like web-browsers reopen tabs.</p>
<p>Contents of dirty buffers are saved.</p>
<p>History, buffer-local properties are not saved.</p>
</html>
}}}
| Submitted | kerik-sf - 2016-05-21 13:52:45.002000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |
| 2016-05-21 13:55:44.566000 kerik-sf |
Reopen 0.5 should be marked "not after jEdit 5.1". |
|---|